Liên kết ngoài Tập_hợp_vô_hạn

Liên kết ngoài Tập_hợp_vô_hạn

Weisstein, Eric W., "Infinite set" từ MathWorld.

Bài viết về chủ đề toán học này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.

x
t
s

x t s Logic toán
Chung	Ngôn ngữ hình thức Formation rule Formal system Deductive system Formal proof Formal semantics (logic) Well-formed formula Tập hợp Element (mathematics) Class (set theory) Classical logic Tiên đề Natural deduction Rule of inference Quan hệ (toán học) Định lý toán học Logical consequence Axiomatic system Type theory Symbol (formal) Syntax (logic) Theory (mathematical logic)
Thuật ngữ logic	Mệnh đề toán học Suy luận Luận cứ logic Validity Cogency Tam đoạn luận Square of opposition Sơ đồ Venn
Propositional calculus Đại số Boole	Boolean functions Propositional calculus Propositional formula Logical connectives Truth tables
Logic vị từ	First-order logic Quantifier (logic) Predicate (mathematical logic) Second-order logic Monadic predicate calculus
Naive set theory	Tập hợp Tập hợp rỗng Enumeration Extensionality Tập hợp hữu hạn Tập hợp vô hạn Tập hợp con Tập lũy thừa Tập hợp đếm được Tập hợp không đếm được Recursive set Tập xác định Range (mathematics) Ánh xạ Hàm số Phép toán hai ngôi Cặp được sắp
Lý thuyết tập hợp	Foundations of mathematics Zermelo–Fraenkel set theory Tiên đề chọn General set theory Kripke–Platek set theory Von Neumann–Bernays–Gödel set theory Morse–Kelley set theory Tarski–Grothendieck set theory
Lý thuyết mô hình	Structure (mathematical logic) Interpretation (logic) Non-standard model Finite model theory Truth value Validity
Lý thuyết chứng minh	Formal proof Deductive system Formal system Định lý toán học Logical consequence Rule of inference Syntax (logic)
Lý thuyết tính toán	Recursion Recursive set Recursively enumerable set Decision problem Church–Turing thesis Computable function Primitive recursive function

x t s Lý thuyết tập hợp
Tiên đề	Tiên đề chọn Axiom of countable choice Axiom of dependent choice Axiom of extensionality Axiom of infinity Axiom of pairing Axiom of power set Axiom of regularity Axiom of union Axiom schema of replacement Axiom schema of specification Martin's axiom
Tập hợp	Tích Descartes Phần bù Luật De Morgan Phép giao Tập lũy thừa Phần bù Symmetric difference Phép hợp
Các khái niệm Các phương pháp	Lực lượng Số đếm (Large cardinal) Class (set theory) Constructible universe Giả thiết continuum Tranh luận đường chéo của Cantor Element (mathematics) (Cặp được sắp, Tuple) Family of sets Forcing (mathematics) Song ánh Ordinal number Transfinite induction Sơ đồ Venn
Các dạng tập hợp	Tập hợp đếm được Tập hợp rỗng Tập hợp hữu hạn (Hereditarily finite set) Tập mờ Tập hợp vô hạn Recursive set Tập hợp con Transitive set Tập hợp không đếm được Tập hợp vũ trụ
Lý thuyết	Alternative set theory Lý thuyết tập hợp Morse–Kelley set theory Naive set theory Von Neumann–Bernays–Gödel set theory Zermelo set theory Zermelo–Fraenkel set theory Định lý đường chéo Cantor New Foundations Principia Mathematica
Paradoxes of set theory Các vấn đề	Nghịch lý Russell Suslin's problem
Các nhà lý thuyết tập hợp	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Lotfi A. Zadeh Paul Bernays Paul Cohen (nhà toán học) Richard Dedekind Thomas Jech Willard Van Orman Quine

Liên quan

Tập hợp (toán học) Tập hợp sắp thứ tự một phần Tập hợp Thanh niên Dân chủ Tập hợp rỗng Tập hợp đếm được Tập hợp con Tập hợp Mandelbrot Tập hợp liên thông Tập hợp hữu hạn Tập hợp vi chính tắc

Tài liệu tham khảo

WikiPedia: Tập_hợp_vô_hạn http://mathworld.wolfram.com/InfiniteSet.html